Function model - PDFSEARCH.IO - Document Search Engine

Function model
Results: 1865

#	Item
951	Modelling Communicating Agents in Timed Reasoning Logics Natasha Alechina, Brian Logan, and Mark Whitsey School of Computer Science and IT, University of Nottingham, UK. (nza,mtw,bsl)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2004-07-06 11:08:16 Formal languages Model theory Deduction Well-formed formula Entailment Function Epistemic modal logic Linear temporal logic Natural deduction Logic Metalogic Logical syntax
952	Logical Omniscience and the Cost of Deliberation Natasha Alechina and Brian Logan School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK, Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2001-10-23 13:46:17 Mathematical logic Metalogic Formal languages Entailment Well-formed formula Modal logic Function Constructible universe Model theory Logic Logical syntax Propositional calculus
953	Journal of Artificial Intelligence Research[removed] Submitted 09/02; published[removed]pddl2.1 : An Extension to pddl for Expressing Temporal Planning Domains Add to Reading List Source URL: www.jair.org Language: English - Date: 2009-08-06 19:19:36 STRIPS Domain model Fluent Domain Function Self Action language Automated planning and scheduling Artificial intelligence Planning Domain Definition Language
954	COOH Terminus of Occludin Is Required for Tight Junction Barrier Function in Early Xenopus Embryos Yan-hua Chen,* Christa Merzdorf,* David L. Paul,‡ and Daniel A. Goodenough* Department of Cell Biology, ‡Department Add to Reading List Source URL: www.ncbi.nlm.nih.gov Language: English* Pipidae Occludin Developmental biology Tight junction Cingulin Xenopus African clawed frog Connexin Avidin Biology Cell biology Model organisms
955	社団法人電子情報通信学会 THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS 信学技報 TECHNICAL REPORT OF IEICE Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-11-23 21:54:00 Computing Diagrams Binary decision diagram Model checking Electronic design automation Lookup table Boolean function Field-programmable gate array Canonical form Mathematics Boolean algebra Electronic engineering
956	SDU Discard Function of RLC Protocol in UMTS. Add to Reading List Source URL: dl.ifip.org Language: English - Date: 2014-08-10 19:38:17 Data transmission OSI protocols Universal Mobile Telecommunications System Internet protocols Protocol data unit ISO standards OSI model Service data unit PDCP Computing Data Information
957	A logic of situated resource-bounded agents Natasha Alechina and Brian Logan University of Nottingham School of Computer Science Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-01-10 12:58:33 Metalogic Model theory Mathematical logic Logical syntax Interpretation Modal logic Function Constructible universe Well-formed formula Logic Formal languages Mathematics
958	Towards a Logical Analysis of Biochemical Pathways Patrick Doherty, Steve Kertes, Martin Magnusson, and Andrzej Szalas Department of Computer and Information Science, SE[removed]Link¨oping, Sweden, email: {patdo,g-steke, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:40:19 Model theory Formal languages First-order logic Predicate logic Constructible universe Chemical reaction Well-formed formula Function Logic Mathematical logic Mathematics
959	An Introduction to Zero-Suppressed Binary Decision Diagrams Alan Mishchenko Department of Electrical and Computer Engineering Portland State University, Portland, OR 97207, USA [removed]; http://www.ee.pdx.edu/~a Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-09-30 22:57:32 Boolean algebra Algebraic logic Diagrams Computability theory Binary decision diagram Model checking Indicator function Recursion Function Mathematics Mathematical logic Mathematical analysis
960	Microsoft Word - CutThought.doc Add to Reading List Source URL: www.cinemetrics.lv Language: English - Date: 2014-05-04 05:47:14 Signal processing Covariance and correlation Autocorrelation Regression analysis Partial autocorrelation function Moving-average model Time series Spectral density Autoregressive model Statistics Noise Time series analysis

UPDATE